Part of RA Player. This extension allows RealAudio Player to decode 14.4 kb/s encoded RealAudio files.